Riemannian metrics having the same geodesics with Berwald metrics

In Theorem 1, we generalize the results of Szabó [Sz1, Sz2] for Berwald metrics that are not necessary strictly convex: we show that for every Berwald metric F there always exists a Riemannian metric affine equivalent to F . Further, we investigate geodesic equivalence of Berwald metrics. Theorem 2 gives a system of PDE that has a (nontrivial) solution if and only if the given essentially Berwald metric admits a Riemannian metric that is (nontrivially) geodesically equivalent to it. The system of PDE is linear and of CauchyFrobenius type, i.e., the derivatives of unknown functions are explicit expressions of the unknown functions. As a corollary, we obtain that geodesic equivalence of an essentially Berwald and a Riemannian metrics is always affine equivalence provided both metrics are complete. 1 Definitions and results Finsler metric on a smooth manifold M is a function F : TM → R≥0 such that: 1. It is smooth on TM \ TM0, where TM0 denotes the zero section of TM , 2. For every x ∈ M , the restriction F|TxM is a norm on TxM , i.e., for every ξ, η ∈ TxM and for every nonnegative λ ∈ R we have (a) F (λ · ξ) = λ · F (ξ), (b) F (ξ + η) ≤ F (ξ) + F (η), (c) F (ξ) = 0 =⇒ ξ = 0. We always assume that n := dim(M) ≥ 2. We do not require that (the restriction of) the function F is strictly convex. In this point our definition is more general than the usual definition. In addition we do not assume that the metric is reversible, i.e., we do not assume that F (−ξ) = F (ξ). The standard references for Finsler geometry are [Al2, BCS, BBI, Sh1]. Example 1 (Riemannian metric). For every Riemannian metric g on M , the function F (x, ξ) := √ g(x)(ξ, ξ) is a Finsler metric. ∗Institute of Mathematics, FSU Jena, 07737 Jena Germany, [email protected]